From fe35f0c482442e8d180b359d0414c52bdda355f9 Mon Sep 17 00:00:00 2001 From: Dario Faggioli Date: Mon, 12 Oct 2015 16:01:22 +0200 Subject: [PATCH] sched / cpupool: dump the actual value of NOW() rather than its hexadecimal representation. This makes it easier to compare the actual system time with other times being printed out (e.g., deadlines in RTDS). Signed-off-by: Dario Faggioli Reviewed-by: Andrew Cooper Acked-by: Juergen Gross --- xen/common/cpupool.c | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/xen/common/cpupool.c b/xen/common/cpupool.c index 69b984c2b4..e79850b38d 100644 --- a/xen/common/cpupool.c +++ b/xen/common/cpupool.c @@ -744,7 +744,7 @@ void dump_runq(unsigned char key) printk("sched_smt_power_savings: %s\n", sched_smt_power_savings? "enabled":"disabled"); - printk("NOW=0x%08X%08X\n", (u32)(now>>32), (u32)now); + printk("NOW=%"PRI_stime"\n", now); print_cpumap("Online Cpus", &cpu_online_map); if ( !cpumask_empty(&cpupool_free_cpus) ) -- 2.30.2